#include <stdio.h>
#include <string.h>

int main()
  {
    char *A = strcat("123", " world\0");
    puts(A);
  }
